eventtype($k$;${\it loc}$;$V$;$M$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$kindcase($k$($e$); $a$.$V$(${\it loc}$($e$),$a$); $l$,$t$.$M$($l$,$t$) )